Online version

Referenced in SATML conference report [10]